(Top): Add @top command.
authorGlenn Morris <rgm@gnu.org>
Fri, 12 Jun 2009 07:49:09 +0000 (07:49 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 12 Jun 2009 07:49:09 +0000 (07:49 +0000)
commitdc2ed29fdb7c97a108bb6b63bcdd39149a84c87b
tree155fa853e27564c509f2e23b55951a7cbd9ffb34
parent88b771b3579da1f06de53baa84490a1a594f8861
(Top): Add @top command.
Remove the optional arguments from all @node commands: makeinfo can
generate these automatically, and it is easier to edit and rearrange
nodes without them.
doc/misc/ChangeLog
doc/misc/faq.texi